load — File load


\begin{rail}
FileLoad : 'load' '(' String ')' ;
\end{rail}
load is a function which opens the file specified by the string argument, and reads in the file's contents as if they were being typed by a user at the command line. If you prefer, this can be considered the same as temporarily redirecting the input to the file specified. The file is closed after it has been read from. Since load doesn't use the normal search paths, you have to specify enough path to find the file - generally the file to be loaded is in the current directory, and only the name is required. However, if the file is elsewhere, you need a complete path. Often, a rfile command is more convenient and robust.

Subsections